open cic
open ca
open ea

one sig DRDR_Client1 extends DRDR {}
one sig DRDR_Server extends DRDR {}


fact DRDR_Server {
	let dm = CIC.rmap[DRDR_Server] {
		dm.role in CSR_Server

		dm.signature = S_InventoryItf

		dm.unit.node = ND_A

		//one fv_secure : dm.unit.features[FT_Security] | fv_secure in FV_FeaturePresent
	//	dm.unit.features[FT_Security] = FV_Security_High
	}
}

fact DRDR_Client1 {
	let dm = CIC.rmap[DRDR_Client1] {
		dm.role in CSR_Client

		dm.signature = S_InventoryItf

		dm.unit.node = ND_A

		one fv_logged : dm.unit.features[FT_Logging] | fv_logged in FV_FeaturePresent
		dm.unit.features[FT_Logging] = FV_Logging_ToFile_Foo
	}
}


fact DRD {
	CIC.ca in CA_RPC // + ....
	CIC.rmap.univ in DRDR_Client1 + DRDR_Server
}





-- Execution of the search
run {  } for 0 but
	2 DRURMapping,
	8 FullFledgedEA  /* maximum expected number of element instances */, 
	4 S /* ... */, 
	2 SBEntry /*maximum number of instances of middleware server proxies */




	